63 found
Order:
  1.  18
    Symbolic Logic.Atwell R. Turquette & Frederic Brenton Fitch - 1953 - Philosophical Review 62 (4):617.
  2.  31
    The Philosophy of Mathematics.Atwell R. Turquette & Stephan Korner - 1962 - Philosophical Review 71 (2):248.
  3.  32
    Godel and the synthetic a priori.Atwell R. Turquette - 1950 - Journal of Philosophy 47 (5):125-129.
  4.  6
    Fragments of Many-valued Statement Calculi.Atwell R. Turquette - 1959 - Journal of Symbolic Logic 24 (3):248-249.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  26
    Minimal Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):169-176.
  6.  8
    Alternative Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1978 - Mathematical Logic Quarterly 24 (25‐30):443-444.
  7.  24
    Alternative Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):443-444.
  8.  12
    Minimal Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1976 - Mathematical Logic Quarterly 22 (1):169-176.
  9.  28
    Peirce's Phi and Psi Operators for Triadic Logic.Atwell R. Turquette - 1967 - Transactions of the Charles S. Peirce Society 3 (2):66 - 73.
  10.  23
    Dualism and Trimorphism in Peirce's Triadic Logic.Atwell R. Turquette - 1972 - Transactions of the Charles S. Peirce Society 8 (3):131 - 140.
  11. Gödel and the Synthetic a Priori.Atwell R. Turquette - 1950 - Journal of Symbolic Logic 15 (3):221-222.
     
    Export citation  
     
    Bookmark   2 citations  
  12.  20
    Peirce's Complete Systems of Triadic Logic.Atwell R. Turquette - 1969 - Transactions of the Charles S. Peirce Society 5 (4):199 - 210.
  13.  7
    Peirce's Icons for Deductive Logic.Atwell R. Turquette - 1974 - Journal of Symbolic Logic 39 (2):354-354.
  14.  1
    Encyclopaedia Britannica.Atwell R. Turquette - 1958 - Journal of Symbolic Logic 23 (1):22-29.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  8
    The Determination of all Sheffer Functions in 3-Valued Logic, Using a Logical Computer.Atwell R. Turquette - 1963 - Journal of Symbolic Logic 28 (2):174-174.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  25
    A Method for Constructing Implication Logics.Atwell R. Turquette - 1966 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 12 (1):267-278.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  4
    A Method for Constructing Implication Logics.Atwell R. Turquette - 1968 - Journal of Symbolic Logic 33 (2):308-309.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  17
    Castaneda Hector-Neri. A note on S5.Atwell R. Turquette - 1966 - Journal of Symbolic Logic 31 (2):275.
  19.  5
    Defining Peirce’s Verum.Atwell R. Turquette - 1988 - Philosophie Et Culture: Actes du XVIIe Congrès Mondial de Philosophie 2:842-845.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  16
    Fifteenth meeting of the association for symbolic logic.Atwell R. Turquette - 1953 - Journal of Symbolic Logic 18 (2):187-192.
  21.  37
    Federico M. Sioson. Further axiomatizations of the Łukasiewicz three-valued calculus. Notre Dame journal of formal logic, vol. 5 no. 1 , pp. 62–70.Atwell R. Turquette - 1966 - Journal of Symbolic Logic 31 (3):500.
  22.  11
    Generalized Modal Sets.Atwell R. Turquette - 1972 - Mathematical Logic Quarterly 18 (16‐18):261-266.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  32
    Generalized Modal Sets.Atwell R. Turquette - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (16-18):261-266.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  5
    Hector-Neri Castaneda. A note on S5. The journal of symbolic logic, vol. 29 no. 4 , pp. 191–192.Atwell R. Turquette - 1966 - Journal of Symbolic Logic 31 (2):275-275.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  38
    Independent axioms for infinite-valued logic.Atwell R. Turquette - 1963 - Journal of Symbolic Logic 28 (3):217-221.
  26.  23
    Many-valued logics and systems of strict implication.Atwell R. Turquette - 1954 - Philosophical Review 63 (3):365-379.
  27.  8
    Many-Valued Logics and Systems of Strict Implication.Atwell R. Turquette - 1957 - Journal of Symbolic Logic 22 (3):328-328.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  7
    Modality, Minimality, and Many-valuedness.Atwell R. Turquette - 1972 - Journal of Symbolic Logic 37 (4):753-754.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  37
    Quantification for Peirce's preferred system of triadic logic.Atwell R. Turquette - 1981 - Studia Logica 40 (4):373 - 382.
    Without introducing quantifiers, minimal axiomatic systems have already been constructed for Peirce's triadic logics. The present paper constructs a dual pair of axiomatic systems which can be used to introduce quantifiers into Peirce's preferred system of triadic logic. It is assumed (on the basis of textual evidence) that Peirce would prefer a system which rejects the absurd but tolerates the absolutely undecidable. The systems which are introduced are shown to be absolutely consistent, deductively complete, and minimal. These dual axiomatic systems (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  21
    Simplified axioms for many-valued quantification theory.Atwell R. Turquette - 1958 - Journal of Symbolic Logic 23 (2):139-148.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  31.  39
    Storrs McCall and R. K. Meyer. Pure three-valued Łukasiewiczian implication. The journal of symbolic logic, vol. 31 , pp. 399–405.Atwell R. Turquette - 1968 - Journal of Symbolic Logic 33 (1):133-134.
  32.  11
    The Elements of Mathematical Logic.Atwell R. Turquette - 1952 - Philosophical Review 61 (2):260.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33.  14
    The Philosophy of Mathematics.Atwell R. Turquette - 1951 - Philosophical Review 60 (4):597.
  34.  11
    Truth and Consequence in Mediaeval Logic. [REVIEW]Atwell R. Turquette - 1955 - Journal of Philosophy 52 (16):439-442.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  35.  20
    Albert E. Avey. Recent schools of logic. A history of philosophical systems, edited by Vergilius Ferm, The Philosophical Library, New York1950, pp. 504–515. - Gustav Bergmann. Logical positivism. A history of philosophical systems, edited by Vergilius Ferm, The Philosophical Library, New York1950, pp. 471–482. Reprinted in The metaphysics of logical positivism, by Gustav Bergmann, Longmans, Green and Co., New York, London, Toronto 1954, pp. 1–16. [REVIEW]Atwell R. Turquette - 1959 - Journal of Symbolic Logic 24 (2):184-185.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  18
    A. A. Zinov′ev. Philosophical problems of many-valued logic. Revised edition, edited and translated by Guido Küng and David Dinsmore Comey. Synthese library. D. Reidel Publishing Company, Dordrecht, Holland, 1963, XIV + 155 pp. - Guido Küng and David Dinsmore Comey. Foreword from the editors. Therein, pp. VII–IX. - Anonymous. Bibliography of the publications of Aleksandr Aleksandrovič Zinov′ev. Therein, pp. X–XI. - A. A. Zinov′ev. Author's preface. Therein, pp. XII–XIV. - Guido Küng and David Dinsmore Comey. Translators' notes. Therein, pp. 149–150. [REVIEW]Atwell R. Turquette - 1964 - Journal of Symbolic Logic 29 (4):213-214.
  37.  18
    Arto Salomaa. On infinitely generated sets of operations infinite algebras. Annales Universitatis Turkuensis, series A, I, Astronomica-chemica-physica-mathematica, no. 74. Turun Yliopisto, Turku1964, 13 pp. [REVIEW]Atwell R. Turquette - 1966 - Journal of Symbolic Logic 31 (1):119-120.
  38.  15
    Bergmann Gustav. Sense and nonsense in operationism. The validation of scientific theories, edited, with an introduction, by Frank Philipp G., The Beacon Press, Boston 1956, pp. 41–52. , pp. 210–214).Hempel Carl G.. A logical appraisal of operationism. A reprint of XXIII 354. The validation of scientific theories, edited, with an introduction, by Frank Philipp G., The Beacon Press, Boston 1956, pp. 52–67. [REVIEW]Atwell R. Turquette - 1960 - Journal of Symbolic Logic 25 (3):255-256.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  17
    Butler Jean W.. On complete and independent sets of truth functions in multi-valued logics. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 78–80.Butler Jean W.. On complete and independent sets of operations in finite algebras. Pacific journal of mathematics, vol. 10 , pp. 1169–1179. [REVIEW]Atwell R. Turquette - 1965 - Journal of Symbolic Logic 30 (2):246-246.
  40.  12
    Black Max. Abstract and abstraction. Encyclopaedia Britannica, Encyclopaedia Britannica, Inc., Chicago-London-Toronto 1956, Vol. 1, pp. 67–68; also Max Black. Abstract and abstraction. Encyclopaedia Britannica, Encyclopaedia Britannica, Inc., Chicago-London-Toronto 1957, Vol. 1, pp. 67–68. [REVIEW]Atwell R. Turquette - 1958 - Journal of Symbolic Logic 23 (1):22-29.
  41.  24
    Black Max. How difficult might induction be? Problems of analysis, Philosophical essays, by Max Black, Cornell University Press, Ithaca 1954, pp. 209–225, 297.Black Max. Carnap on semantics and logic. Problems of analysis, Philosophical essays, by Max Black, Cornell University Press, Ithaca 1954, pp. 255–290, 298–299. [REVIEW]Atwell R. Turquette - 1957 - Journal of Symbolic Logic 22 (3):316-317.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  23
    Bolesław Sobociński. A note concerning the many-valued propositional calculi. Notre Dame journal of formal logic, vol. 2 , pp. 127–128. [REVIEW]Atwell R. Turquette - 1966 - Journal of Symbolic Logic 31 (1):117-117.
  43.  13
    Dreben Burton. Relation of m-valued quantificational logic to 2-valued quantificational logic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 303–304. [REVIEW]Atwell R. Turquette - 1965 - Journal of Symbolic Logic 30 (3):375-376.
  44.  19
    Foxley Eric. The determination of all Sheffer functions in 3-valued logic, using a logical computer. Notre Dame journal of formal logic, vol. 3 , pp. 41–50. [REVIEW]Atwell R. Turquette - 1963 - Journal of Symbolic Logic 28 (2):174-174.
  45.  16
    Quine Willard van Orman. Methods of logic. Henry Holt & Company, New York 1950, xx + 264 pp. [REVIEW]Atwell R. Turquette - 1950 - Journal of Symbolic Logic 15 (3):203-204.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  21
    Alan Rose and J. Barkley Rosser. Fragments of many-valued statement calculi. Transactions of the American Mathematical Society, vol. 87 , pp. 1–53. - C. A. Meredith. The dependence of an axiom of Łukasiewicz. Transactions of the American Mathematical Society, vol. 87 , p. 54. - C. C. Chang. Proof of an axiom of Łukasiewicz. Transactions of the American Mathematical Society, vol. 87 , pp. 55–56. [REVIEW]Atwell R. Turquette - 1959 - Journal of Symbolic Logic 24 (3):248-249.
  47.  16
    Albert E. Avey. Recent schools of logic. A history of philosophical systems, edited by Vergilius Ferm, The Philosophical Library, New York1950, pp. 504–515. - Gustav Bergmann. Logical positivism. A history of philosophical systems, edited by Vergilius Ferm, The Philosophical Library, New York1950, pp. 471–482. Reprinted in The metaphysics of logical positivism, by Gustav Bergmann, Longmans, Green and Co., New York, London, Toronto 1954, pp. 1–16. [REVIEW]Atwell R. Turquette - 1959 - Journal of Symbolic Logic 24 (2):184-185.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  48. Review: Alan Rose, J. Barkley Rosser, Fragments of Many-valued Statement Calculi. [REVIEW]Atwell R. Turquette - 1959 - Journal of Symbolic Logic 24 (3):248-249.
  49.  14
    Arto Salomaa. On the number of simple bases of the set of f unctions over a finite domain. Annales Universitatis Turkuensis, Series A, no. 52, Turun Yliopisto, Turku1962, 4 pp. - Arto Salomaa. Some completeness criteria for sets of functions over a finite domain. Annales Universitatis Turkuensis, Series A, no. 53, Turku1962, 10 pp. [REVIEW]Atwell R. Turquette - 1962 - Journal of Symbolic Logic 27 (2):247-247.
  50.  8
    Review: Arto Salomaa, Some Completeness Criteria for Sets of Functions Over a Finite Domain. II. [REVIEW]Atwell R. Turquette - 1965 - Journal of Symbolic Logic 30 (1):106-106.
1 — 50 / 63